Control lock

Results: 1096



#Item
201Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula

Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-05-12 14:18:02
202Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012

Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012

Add to Reading List

Source URL: www.pmg.lcs.mit.edu

Language: English - Date: 2012-09-18 11:16:47
203Light-Weight Execution Agents Revision 3 Document number: Revises: Date:

Light-Weight Execution Agents Revision 3 Document number: Revises: Date:

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-10-13 05:27:58
204TAKE CONTROL  Lock & Key A practical guide to protecting yourself & your assets  What does ‘mutual’ mean to me?

TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets What does ‘mutual’ mean to me?

Add to Reading List

Source URL: assets.lcu.com.au

Language: English - Date: 2013-10-28 07:03:15
20566  HIL tests for truck ESC Figure 1 (Top): A truckSim animation of a test vehicle

66 HIL tests for truck ESC Figure 1 (Top): A truckSim animation of a test vehicle

Add to Reading List

Source URL: www.carsim.com

Language: English - Date: 2012-08-15 16:44:57
206Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan  Sheila A. McIlraith

Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith

Add to Reading List

Source URL: icaps11.icaps-conference.org

Language: English - Date: 2013-04-15 04:52:48
207TAKE CONTROL  Lock & Key A practical guide to protecting yourself & your assets  What does ‘mutual’ mean to me?

TAKE CONTROL Lock & Key A practical guide to protecting yourself & your assets What does ‘mutual’ mean to me?

Add to Reading List

Source URL: www.eecu.com.au

Language: English - Date: 2010-05-09 21:18:18
208C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas

C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2013-05-12 14:22:49
209SoftBase Logo white  w Tag

SoftBase Logo white w Tag

Add to Reading List

Source URL: www.softbase.com

Language: English - Date: 2011-10-19 08:36:30
210Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile. Chapter 16

Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile. Chapter 16

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2013-08-29 15:48:40